On the degeneracy of the full AGM-theory of theory-revision
نویسنده
چکیده
A general method is provided whereby bizarre revisions of consistent theories with respect to contingent sentences that they refute can be delivered by revision-functions satisfying both the basic and the supplementary postulates of the y4GM-theory of theory-revision. ?
منابع مشابه
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propose two extensions of a modal logic that, besides the next-time temporal operator, contains a belief operator and an information operator. The first logic is shown to provide an axiomatic characterization of the first s...
متن کاملClassical and General Frameworks for Recovery
Theory recovery is the process of restoring consistency of a theory with respect to some intended semantics. Recently, a general framework for theory recovery has been developed using a twin semantics. In this paper we establish some relationships between this recovery framework and the well-known AGM postulates for theory revision. We show that the AGM revision postulates can be easily adapted...
متن کاملA Finite Base Belief Revision System
Theories of dynamic reasoning invariably are more elegant on paper than they are in an implementation. A major criticism of the AGM belief revision logic [Gärdenfors 1988] is that it relies on calculations using infinite belief sets to satisfy its postulates for rational belief revision. This has stopped it from being used in any practical systems for reasoning. [Williams 1993] proposes a theor...
متن کاملIterated Revision in the Spirit of Update: A Lazy Update
Since they were introduced, AGM revision and Katsuno and Mendelzon's update have been considered orthogonal theory change operations serving diierent purposes. This work provides a new presentation of AGM revision based on the update semantic apparatus establishing in such a way a bridge between the two seemingly incomparable frameworks. We deene a new operation as a variant of the standard upd...
متن کاملOn the Logic of Theory Change: Extending the AGM Model
Fermé, Eduardo. 2011. On the Logic of Theory Change: Extending the AGM Model. PhD Thesis in Philosophy from the Royal Institute of Technology. This thesis consists in six articles and a comprehensive summary. ● The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 71 شماره
صفحات -
تاریخ انتشار 2006